#ifndef INC_RAND_H
#define INC_RAND_H

#include <stdint.h>

uint32_t xrand();

#endif